document.write (" 12756 ");