document.write (" 9920 ");