document.write (" 9242 ");