document.write (" 3934 ");