document.write (" 12080 ");