// JavaScript Document
function $(id){
  return document.getElementById(id)
}
function getHeight() {
	$("p").style.height=$("h").offsetHeight -31 + "px";		  
}
window.onload = function() {
	getHeight();
}