document.write (" 9923 ");