function trim(str) { return str.replace(/^\s*|\s*$/g,""); } function g_e(el) { return document.getElementById(el); } function dw(str) { document.writeln(str); } dw('


	Home

'); dw('


	Vacations \| Trip Ideas \| Travel Tips \| Articles \| Deals

'); dw('

');