document.write (" 9932 ");