document.write (" 12040 ");