/*Javascript functies*/
function toInt(input){
	return parseInt(input);	
}