document.write (" 5971 ");