document.write (" 42003 ");