document.write (" 12971 ");