document.write (" 42174 ");