document.write (" 42303 ");