document.write('12034 ');