document.write (" 42038 ");