// JavaScript Document

function process_keypress() { 
	if (window.event.type == "keypress" & window.event.keyCode == 13) { 
        return !(window.event.type == "keypress" & window.event.keyCode == 13); 
    } 
} 
document.onkeypress = process_keypress;