document.write (" 3071 ");