inside first if512