document.write('12048 ');