document.write (" 4124 ");