document.write (" 11971 ");