document.write (" 12051 ");