document.write (" 9934 ");