document.write (" 42175 ");