// JavaScript Document

function GE(id) { return document.getElementById(id); };
function SHOW(id) { document.getElementById(id).style.display = 'block'; };
function HIDE(id) {	document.getElementById(id).style.display = 'none'; };