document.write (" 4934 ");