document.write (" 12256 ");