document.write (" 12540 ");