document.write (" 7256 ");