document.write (" 12071 ");