document.write (" 5967 ");