document.write (" 42270 ");