Jain's pseudo-code plus html