document.write (" 12003 ");