document.write (" 9801 ");