document.write (" 12550 ");