document.write (" 5939 ");