document.write('12040 ');