document.write (" 12180 ");