document.write('7256 ');