// used by the mailto() function to retrieve email address by name

var MAILTO_LIST = {
'steve': 'oksteev@gmail.com',
'henry': 'henry_so@gmx.net',
'mike': 'rimjoblphie@gmail.com'
};