document.write (" 9812 ");