document.write (" 42471 ");