document.write (" 3936 ");